vcs -R -gui -debug_all  ../ref/models/saed90nm.v   ../source/Johnson_count_fm.v   ../results/atpg_serial_post.v
